構文論的完全性 (expressive completeness)
完全性 - Wikipedia
Completeness (logic) - Wikipedia
形式體系
$ T
の言語
$ L_T
で記述できる命題
$ A
は肯定か否定を證明できる
$ \forall A_{\in L_T}((T\vdash A)\lor(T\vdash\neg A))